SubresultantPolynomialRemainders
SubresultantPolynomialRemainders[poly1,poly2,var] gives the subresultant polynomial remainder sequence of the polynomials poly1 and poly2 with respect to the variable var.
SubresultantPolynomialRemainders[poly1,poly2,var,Modulus->p] computes the subresultant polynomial remainder sequence modulo the prime p.
Please visit the official Wolfram Language Reference for more details and examples on core symbols.